package plus;

abstract class Solution {
	abstract void conform_to(Solution that, Gamma gamma);
	abstract void unify_with(Solution that);
	abstract Solution copy();
	abstract Type subst(Type[] actuals);
	abstract boolean isNullable();
	abstract boolean canConform(Solution solution, Hypo h);
}
